proving of concurrent program
un. 并行程序证明
热门查询
- independent n. 独立自主者；无党派者 adj. 独立的；单独的；无党派的；不受约束的
- buttress n. 扶壁；拱壁；支撑物 vt. 支持；以扶壁支撑
- necessitous adj. 贫困的，贫穷的；紧急的
- production line n. 生产线；流水线；装配线 [网络] 产品线；生产输送机；生产流水线
- organize vt. 组织；使有系统化；给予生机；组织成立工会等 vi. 组织起来；成立组织
- referees 裁判
- intimate n. 知己；至交 adj. 亲密的；私人的；精通的；有性关系的 vt. 暗示；通知；宣布
- samoa n. 萨摩亚（南太平洋中部一群岛）
- COULSON [人名] [英格兰人姓氏] 科尔森取自父名，来源于Cole,含义是“科尔之子”(son of Cole)
- cone n. 圆锥体，圆锥形；[植] 球果 n. (Cone)人名；(英)科恩；(罗)科内；(塞)措内 vt. 使成锥形
- druidical a. 督伊德教的, 督伊德教徒的
- pillion n. 后部座位；妇女用马鞍；摩托车后座
- judicial adj. 公正的，明断的；法庭的；审判上的
- Cromer 克罗默(即Baring,Evelyn)
- superwoman n. 女超人
- Sardinian n. 撒丁岛人 撒丁语的
- rid vt. 使摆脱；使去掉 n. (Rid)人名；(英)里德
- autosomal adj. 常染色体的；正染色体的
- lipped adj. 有嘴的；具唇的 v. 用嘴唇接触；轻轻说出；溢出；吹奏（lip的过去分词）
- thereabouts adv. 大约；在那附近（等于thereabout）
